The synergy between user experience design and software testing A.P. van der Meer, R. Kherrazi, N. Noroozi, and A. Wierda Nspyre B.V., Eindhoven, The Netherlands Abstract. Formal methods and testing are two important ap

Source URL: staq.dsic.upv.es

Built-In Self-Testing of Micropipelines O. A. Petlin, S. B. Furber Department of Computer Science University of Manchester Manchester, M13 9PL, UK email: {oleg, sfurber}@cs.man.ac.uk

Source URL: apt.cs.manchester.ac.uk

Data Min Knowl Disc:140–181 DOIs10618Controlled experiments on the web: survey and practical guide Ron Kohavi · Roger Longbotham ·

Source URL: www.robotics.stanford.edu

• Experiments
• Design of experiments
• Randomized experiment
• A/B testing
• Web-based experiments
• MSN
• Targeted advertising
• Amazon.com
• Scientific control
• Quasi-experiment

GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine

Source URL: www.verit-solver.org

BATTERY POWERED COST EFFECTIVE TDS LOGGER INTENDED FOR WATER TESTING I. A. IVAN1,2, V. STIHI1, M. IVAN1, C. STIHI1, M.RAKOTONDRABE2, A. JELEA3 1 Valahia University of Targoviste, B-dul Unirii 18-20, 130082, Targoviste,

Source URL: www.nipne.ro

TESTING goGPS LOW-COST RTK POSITIONING WITH A WEB-BASED TRACK LOG MANAGEMENT SYSTEM E. Realini a, *, D. Yoshida b, M. Reguzzoni c, V. Raghavan a a Graduate School for Creative Cities, Osaka City University, Sugi

Source URL: www.isprs.org

Model-Based Vulnerability Testing for Web Applications F. Lebeau, B. Legeard, F. Peureux, A. VERNOTTE FEMTO-ST Institute / University of Franche-Comt´e UMR CNRS 6174, 25030 Besancon, France. Smartesting R&D Center, 2500

Source URL: www.spacios.eu

I N V I S I B L E C O M P U T I N G Into the Wild: Low-Cost Ubicomp Prototype Testing Yang Li and James A. Landay

Source URL: dub.washington.edu

J. R. Statist. Soc. B, Part 3, pp. 347–368 The optimal discovery procedure: a new approach to simultaneous significance testing John D. Storey

Source URL: genomics.princeton.edu

GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine

Source URL: www.montefiore.ulg.ac.be